1

The structure of finite meadows

Year:
2015
Language:
english
File:
PDF, 242 KB
english, 2015
3

The free process algebra generated by , and

Year:
2011
Language:
english
File:
PDF, 269 KB
english, 2011
6

The initial meadows

Year:
2010
Language:
english
File:
PDF, 595 KB
english, 2010
8

EQUATIONAL CONSTRUCTOR INDUCTION

Year:
1996
File:
PDF, 536 KB
1996
9

Typability in Partial Applicative Structures

Year:
2011
Language:
english
File:
PDF, 133 KB
english, 2011
10

Remarks on Thatte’s transformation of term rewriting systems

Year:
2004
Language:
english
File:
PDF, 276 KB
english, 2004
11

Typability in Partial Applicative Structures

Year:
2011
Language:
english
File:
PDF, 583 KB
english, 2011